_require local "../../../src/basis.smi"
val files : string vector
